From Subject Specification to General Education
نویسندگان
چکیده
منابع مشابه
From General Game Descriptions to a Market Specification Language for General Trading Agents
The idea behind General Game Playing is to build systems that, instead of being programmed for one specific task, are intelligent and flexible enough to negotiate an unknown environment solely on the basis of the rules which govern it. In this paper, we argue that this principle has the great potential to bring to a new level artificially intelligent systems in other application areas as well. ...
متن کاملGeneral LTL Specification Mining
Temporal properties are useful for describing and reasoning about software behavior, but developers rarely write down temporal specifications of their systems. Prior work on inferring specifications developed tools to extract likely program specifications that fit particular kinds of tool-specific templates. This paper introduces Texada, a new temporal specification mining tool for extracting s...
متن کاملFrom Requirements Specification to Design Specification
The aim of program development process is to construct a correct program with respect to its requirements specification. Our paper deals with the first step of this process in the framework of the theory of correct programming. We construct requirements specification institution in terms of algebraic specifications, design specification institution in terms of functional programming and type th...
متن کاملEducation Sciences Subject Area Group: Subject-Specific Competences
A first preliminary remark will relate to the relevance of European Union education policies for both educationand teacher education studies. Education and training have become priorities of policies of the Council of the European Union within the framework of more comprehensive economic and social policies (cf. Lisbon process). Strategic objectives for the development of education and training...
متن کاملFrom Evaluation to Specification
The central and unresolved problem in evaluation is that of providing MT performance metrics which are meaningful to potential users. The traditional transformer architecture of older MT systems, and their use as general purpose machines, results in output text of rather poor quality which is difficult to grade. More recent architectures which use explicit (rule-based) representations of lingui...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Review of Omsk State Pedagogical University. Humanitarian research
سال: 2021
ISSN: 2309-9380
DOI: 10.36809/2309-9380-2021-30-123-126